Varieties of finite monoids and Büchi-McNaughton theorem
نویسندگان
چکیده
منابع مشابه
1 . 3 Varieties of languages and varieties of finite monoids
In 1980, Janusz A. Brzozowski presented a selection of six open problems about regular languages and mentioned two other problems in the conclusion of his article. These problems have been the source of some of the greatest breakthroughs in automata theory over the past 35 years. This survey article summarizes the state of the art on these questions and the hopes for the next 35 years. Thirty-f...
متن کاملOn Profinite Uniform Structures Defined by Varieties of Finite Monoids
This paper arose during the preparation of [11], a paper on pro-p topologies extending the results of [12]. After recollecting various assertions on profinite topologies, we tried to improve existing statements and to arrange our notes into a readable form. We soon realized that many results were spread out in the literature, some of them not being stated in the way we wished and some other one...
متن کاملHopf Monoids in Varieties
We show that entropic varieties provide the canonical setting for a generaliziation of Hopf algebra theory. In particular we show that all naturally occurring functors in this context have the expected adjoints, when generalized to this level. In particular, universal measuring comonoids exist over every entropic variety, as do generalized group algebras, and these carry a canonical Hopf struct...
متن کاملOn the Varieties of Languages Associated with Some Varieties of Finite Monoids with Commuting Idempotents
Eilenberg has shown that there is a one-to-one correspondence between varieties of finite monoids and varieties of recognizable languages. In this paper, we give a description of a variety of languages close to the class of piecewise testable languages considered by I. Simon. The corresponding variety of monoids is the variety of J -trivial monoids with commuting idempotents. This result is the...
متن کاملA finite basis theorem for product varieties of groups
It is shown that, if IJ is a subvariety of the join of a nilpotent variety and a metabelian variety and if V̂ is a variety with a finite basis for its laws, then UV also has a finite basis for its laws. The special cases IJ nilpotent and IJ metabelian have been established by Higman (1959) and Ivanjuta (1969) respectively. The proof here, which is independent of Ivanjuta's, depends on a rather g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1992
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90006-2